Software verification

Results: 1531



#Item
531Diagrams / Formal methods / Boolean algebra / Binary decision diagram / Model checking / Model checkers / NuSMV / Satisfiability Modulo Theories / Abstraction / Mathematics / Theoretical computer science / Applied mathematics

Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification

Add to Reading List

Source URL: www.sosy-lab.org

Language: English - Date: 2015-02-12 10:11:50
532Functional languages / Constraint programming / Logic in computer science / Electronic design automation / Satisfiability Modulo Theories / OCaml / Automated theorem proving / Coq / Uclid / Theoretical computer science / Software / Formal methods

Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ...

Add to Reading List

Source URL: www.spark-2014.org

Language: English - Date: 2015-02-05 02:10:20
533Breakwater / FLAC / Software

GC-051 ANALYSIS OF THE PHASED BUILDING OF A BREAKWATER Purpose(s): Design check verification for the phased building of a breakwater

Add to Reading List

Source URL: www.itasca.fr

Language: English - Date: 2014-11-07 09:00:59
534Software verification / Rabbit Model Checker / Ambient intelligence / Software engineering / Year of birth missing / CHIC / Lecture Notes in Computer Science / International Conference on Formal Techniques for Networked and Distributed Systems

Dirk Beyer Curriculum Vitae[removed]Coordinates p Affiliation:

Add to Reading List

Source URL: www.sosy-lab.org

Language: English - Date: 2015-02-11 15:38:37
535Validity / Systems science / Systems theory / Risk analysis / Verification / Software development process / Validation / Probabilistic risk assessment / DO-178B / Systems engineering / Science / Pharmaceutical industry

Technical SafeTy aSSeSSmenT Guide Transients and Design Basis Accident Analyses

Add to Reading List

Source URL: www.etson.eu

Language: English - Date: 2014-10-10 03:27:32
536Quality / Systems engineering / Management / Validity / Validation / Verification and validation / Software development process / Verification / Test method / Technology / Pharmaceutical industry / Science

PROcessVAlidation299-SG3.PDF

Add to Reading List

Source URL: www.variation.com

Language: English - Date: 2014-12-31 23:28:16
537Applied mathematics / Formal verification / Software verification / Model checking / Linear temporal logic / Verilog / Mathematics / Formal methods / Logic in computer science / Theoretical computer science

Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMP[removed]Dirk Beyer

Add to Reading List

Source URL: www.sosy-lab.org

Language: English - Date: 2015-02-14 11:39:08
538Google App Engine / Platform as a service / Amazon Elastic Compute Cloud / Installation / Cloud computing / Centralized computing / Cloud infrastructure

LNCS[removed]Software Verification in the Google App-Engine Cloud

Add to Reading List

Source URL: www.sosy-lab.org

Language: English - Date: 2015-02-12 10:21:00
539Computer programming / Microcontrollers / Debugging / IEEE standards / Debugger / Graphical user interface testing / Joint Test Action Group / Software testing / Emulator / Computing / Electronics / Embedded systems

Debugging + Automated Test & Verification = Blue Box iSYSTEM provides debugger and analyzer solutions for more than 50 CPU architectures and their derivatives (3000+ microcontrollers). The Windows and/or Eclipse

Add to Reading List

Source URL: www.isystem.com

Language: English - Date: 2013-02-07 02:14:08
540Filter / Assertion / Computer programming / Software engineering / Computing

The Ciao Preprocessor A Program Analysis, Verification, Debugging, and Optimization Tool REFERENCE MANUAL The Ciao Documentation Series http://ciao-lang.org/ Generated/Printed on: 19 June 2013

Add to Reading List

Source URL: ciao-lang.org

Language: English - Date: 2013-06-19 03:35:13
UPDATE